From 7ca271872259b87dc250669eb6ea1ec710747d9f Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Sat, 28 Apr 2007 09:37:32 +0100 Subject: [PATCH] Fix 'sched=sedf' boot. Signed-off-by: Keir Fraser --- xen/common/sched_credit.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/xen/common/sched_credit.c b/xen/common/sched_credit.c index 152da1248e..192ed84213 100644 --- a/xen/common/sched_credit.c +++ b/xen/common/sched_credit.c @@ -1355,6 +1355,10 @@ static __init int csched_start_tickers(void) struct csched_pcpu *spc; unsigned int cpu; + /* Is the credit scheduler initialised? */ + if ( csched_priv.ncpus == 0 ) + return 0; + for_each_online_cpu ( cpu ) { spc = CSCHED_PCPU(cpu); -- 2.30.2